Width-restricted layering of acyclic digraphs with consideration of dummy nodes

This paper deals with the problem of finding graph layerings restricted to a given maximal width. However, other than previous approaches for width-restricted layering, we take into account the space for dummy nodes, which are introduced by edges crossing a layer. The main result is that the problem of finding a width-restricted layering under consideration of dummy nodes is NP-complete even when all regular nodes have the same constant width and all dummy nodes have the same constant width.     

Simple algorithms for searching a polygon with flashlights

The k-searcher is a mobile guard whose visibility is limited to k rays emanating from her position, where the direction of each ray can be changed continuously with bounded angular rotation speed. Given a polygonal region P, is it possible for the k-searcher to eventually see a mobile intruder that is arbitrarily faster than the searcher within P? We present O(n²)-time algorithms for constructing a search schedule of the 1-searcher and the 2-searcher, respectively. Our framework for the 1-searcher can be viewed as a modification of that of LaValle et al. [Proc. 16th ACM Symp. on Computational Geometry, 2000, pp. 260-269] and is naturally extended for the 2-searcher.     

Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

New quadratic models for the maximum weighted cut problem

New quadratic models are proposed to improve the upper-bound estimates in the maximum weighted cut problem. They are found by two original methods for deriving redundant quadratic constraints. A well-known linear model is shown to follow from the models proposed. Recommendations on how to develop its strengthened analogs are given. This study is partially sponsored from the grant UM2-2574-KV-03 (CRDF Cooperative Grants Program). __________ Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 63—75, January–February 2006.     

New Engineered Particles from Spray Dryers: Research Needs in Spray Drying

This article reviews developments in the simulations of spray dryer behavior, including the challenges in modeling the complex flow patterns inside the equipment, which are often highly transient and three-dimensional in nature. There appears to be considerable scope for using CFD simulations for investigating methods to reduce the rates of wall deposition and of thermal degradation for particles by modifying the air flow patterns in the chamber through small changes in the air inlet geometry. Challenges include building particle drying kinetics and reaction processes, as well as agglomeration behavior, into these simulations. The numerical simulations should be valuable supplements to pilot-scale testing, enabling more extensive and accurate optimization to be carried out than hitherto possible. New understanding of reaction processes and materials science, in combination with recent knowledge of the application of CFD to these problems, may enable new engineered powder products to be developed from the one-step spray-drying process.     

Necessary optimality conditions in a nonsmooth control problem with variable structure

An optimal control problem with nonsmooth performance criterion described by a system of ordinary differential equations is considered. Necessary first-order optimality conditions are obtained.     

二次盐水及离子膜电解工序常见问题简析

介绍了二次盐水及离子膜电解工序的主要设备和流程,对二次盐水及离子膜电解工序运行中出现的问题进行了分析,并提出了解决措施。     

A theory of reservation-dwelling American Indian alcohol use risk.

The authors present a theory for understanding risk for problem drinking among reservation-dwelling American Indians. The theory offers an overall framework for understanding the risk process for this group. It considers the distinction between factors that influence mean levels of American Indian problem drinking and factors that influence individual differences in American Indian drinking. It proposes important contextual differences between reservation-dwelling American Indians and Caucasians that may help explain the higher mean levels of American Indian problem drinking. The theory further holds that, within the high mean level of problem drinking characteristic of many American Indian reservations, individual differences in problem drinking can be explained by very similar personality and learning factors as those that influence problem-drinking levels for other ethnic groups. (PsycINFO Database Record (c) 2010 APA, all rights reserved)